QED$65916$ - Übersetzung nach spanisch
PROPOSAL FOR A COMPUTER-BASED DATABASE OF ALL MATHEMATICAL KNOWLEDGE
The QED Project; QED Project; QED Manifesto; QED project; Project QED
QED
n. quod erat demonstrandum (lo que había que demostrar)
Definition
QED
¦ abbreviation
1. quantum electrodynamics.
2. quod erat demonstrandum.
Wikipedia
QED manifesto
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. (Q.E.D. means quod erat demonstrandum in Latin, meaning "which was to be demonstrated.")
